- universelle Quantor (der)
- quantificateur universel
Lexique philosophique allemand-français. D. Seron. 2004.
universelle Quantor (der)
Regardez d'autres dictionnaires:
Universelle Algebra — Der Begriff algebraische Struktur, missverständlich auch „universelle Algebra“, „allgemeine Algebra“ oder „Algebra“ genannt, bezeichnet ein mathematisches Objekt. Das Synonym allgemeine Algebra bezeichnet gleichzeitig auch den Teilbereich der… … Deutsch Wikipedia
Allgemeine Algebra — Der Begriff algebraische Struktur, missverständlich auch „universelle Algebra“, „allgemeine Algebra“ oder „Algebra“ genannt, bezeichnet ein mathematisches Objekt. Das Synonym allgemeine Algebra bezeichnet gleichzeitig auch den Teilbereich der… … Deutsch Wikipedia
Algebraische Struktur — Der Begriff algebraische Struktur, missverständlich auch „universelle Algebra“, „allgemeine Algebra“ oder „Algebra“ genannt, bezeichnet ein mathematisches Objekt. Das Synonym allgemeine Algebra bezeichnet gleichzeitig auch den Teilbereich der… … Deutsch Wikipedia
Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… … Deutsch Wikipedia
Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck … Deutsch Wikipedia
Strukturwissenschaft — In Strukturwissenschaften befasst man sich im Unterschied zur real oder erfahrungswissenschaftlichen Forschung nicht mit der Untersuchung vorgefundener Gegebenheiten, sondern mit selbst hergestellten und in der wissenschaftlichen Forschung… … Deutsch Wikipedia
